| author | Lars Ingebrigtsen <larsi@gnus.org> | |
| Sat, 3 Aug 2019 17:19:17 +0000 (19:19 +0200) | ||
| committer | Lars Ingebrigtsen <larsi@gnus.org> | |
| Sat, 3 Aug 2019 17:19:17 +0000 (19:19 +0200) | ||
| commit | 9fa60c19d0470176b1b49e9d7d4ce8e030e75657 | |
| tree | f1781b5590860880b7ba545f24a5d5a5f4745941 | tree | snapshot |
| parent | 95d2250bcf762296ec88e78d88f0c3b310b119ae | commit | diff |
| doc/misc/ido.texi | diff | blob | history |